منابع مشابه
On Gronwall Inequality
In this paper, we obtained some new Gronwall-Bellman type integral inequalities and we give some consequences of our results.
متن کاملOn an Inequality of Gronwall
In this paper, we obtain some new Gronwall-Bellman type integral inequalities, and we give an application of our results in the study of boundedness of the solutions of nonlinear integrodifferential equations.
متن کاملNotes on switching lemmas
We prove three switching lemmas, for random restrictions for which variables are set independently; for random restrictions where variables are set in blocks (both due to H̊astad [3]); and for a distribution appropriate for the bijective pigeonhole principle [2, 4]. The proofs are based on Beame’s version [1] of Razborov’s proof of the switching lemma in [5], except using families of weighted re...
متن کاملLemmas on Demand for Lambdas
We generalize the lemmas on demand decision procedure for array logic as implemented in Boolector to handle non-recursive and non-extensional lambda terms. We focus on the implementation aspects of our new approach and discuss the involved algorithms and optimizations in more detail. Further, we show how arrays, array operations and SMT-LIB v2 macros are represented as lambda terms and lazily h...
متن کاملthe impact of using inspirational quotes on abstract vocabulary recall
the present study is an attempt to investigate the potential impact of inspirational quotes on improving english abstract vocabulary recall. to achieve this goal, a multiple choice language proficiency test of 60 items including vocabulary and grammar component was administered to a sample of 63 second-semester male and female students whose age ranged between 17 to 22 and they were studying en...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied & Computational Mathematics
سال: 2012
ISSN: 2168-9679
DOI: 10.4172/2168-9679.1000e119